First published in 1969, this was a new assessment of Freud’s most creative years and the formative period in psychoanalysis and was the first book to attempt a systematic presentation of Freud’s early ideas, relating them to his later work and to contemporary psychoanalysis. During the years 1888-1898 Freud published 15 papers and one book. In addition many of his ideas were formulated in a series of letters and drafts that he wrote to Dr Wilhelm Fliess. This material provided new (...) insights into the nature of Freud’s creative genius and gave new meaning to his published works. Psychoanalysis: The First Ten Years reviews these early papers, drafts and letters, and describes tentative formulations that, in spite of their value, were not developed further because of lack of time or a shift in interest. As Dr Stewart observes, ‘the study of this aspect of Freud’s work is perhaps the most exciting. Freud’s creativity in these years was remarkable. The ideas he _discarded_ in this short period of time would, for a less gifted person, have been a full life’s work of which he could have been proud.’ There is a good deal of historical and literary interest in his account of Freud’s relationships with Fliess, Breuer and others, but the core of the book is the critical assessment and systematic presentation of Freud’s early major insights, which dramatically reveal a creative genius in the process of discovery. (shrink)

his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes examples of application to (...) particular many-valued formal systems. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

Attempts to comprehend the traumatic significance of Hiroshima in order to construct a new theory of history.

This paper discusses how to define logics as deductive limits of sequences of other logics. The case of da Costa's hierarchy of increasingly weaker paraconsistent calculi, known as $ \mathcal {C}$n, 1 $ \leq$ n $ \leq$ $ \omega$, is carefully studied. The calculus $ \mathcal {C}$$\scriptstyle \omega$, in particular, constitutes no more than a lower deductive bound to this hierarchy and differs considerably from its companions. A long standing problem in the literature (open for more than 35 years) is (...) to define the deductive limit to this hierarchy, that is, its greatest lower deductive bound. The calculus $ \mathcal {C}$min, stronger than $ \mathcal {C}$$\scriptstyle \omega$, is first presented as a step toward this limit. As an alternative to the bivaluation semantics of $ \mathcal {C}$min presented thereupon, possible-translations semantics are then introduced and suggested as the standard technique both to give this calculus a more reasonable semantics and to derive some interesting properties about it. Possible-translations semantics are then used to provide both a semantics and a decision procedure for $ \mathcal {C}$Lim, the real deductive limit of da Costa's hierarchy. Possible-translations semantics also make it possible to characterize a precise sense of duality: as an example, $ \mathcal {D}$min is proposed as the dual to $ \mathcal {C}$min. (shrink)

After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.

There is no doubt that soybean is the most important crop for Argentina, with a planted surface that rose 11,000,000 hectares and a production of around 35,000,000 metric tons. During the 1990s, there was a significant agriculture transformation in the country, motorize by the adoption of transgenic crops (soy-bean, maize, and cotton) under the no-tillage system. The expansion of this model has been spread not only in the Pampas but also in very rich areas with high biodiversity, opening a new (...) agricultural border to important eco-regions like the Yungas, Great Chaco, and the Mesopotamian Forest. Transgenic cropping is a powerful technology. This produced relevant transformations over the environment and society where it is allowed. Migration, concentration of agribusiness, and loss of food sovereignty are some of the social results. Landscape transformation in the rural sector is evident, and the appearance of tolerance weeds to glyphosate is a reality. Nutrient depletion, soil-structure degradation, potential desertification, and loss of species are other consequences on the environmental level. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated (...) by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

Fish has always been adept at revising his position to incorporate what he’s learned from his critics while repaying the favor by assigning them a position they never took. The latter practice naturally helps conceal the borrowings, but as Fish’s position evolves it becomes progressively difficult to determine who is the author of his essays. I am, of course, gratified to see how much Fish has learned from me. It is salutary to find that Fish is finally just a humble (...) historian working with others at “recovering a system of thought and feeling” that will enable us to establish the historical context of Milton’s most probable intentions and realizing, as many historians of literature don’t, that we can only do so by bringing concepts provided by literary theory—form, function, artistic purpose, and so forth—to bear on the mass of historical materials at our disposal.3 It is also gratifying to see that Fish has discovered the law of context and now realizes that there are no local matters. Had he discovered that earlier, we’d have been spared Aunt Tilly and the discussion of Mr. Collins—as well as the general notion extrapolated from those examples that anything a sizable group decides to do will fly since nothing else constraints interpretation. We’d also have been spared the concepts of reading and affective criticism presented in Fish’s early work and the unchecked linguistic hijinks used to sustain those readings. I derive my deepest pleasure, however, from finding that Fish has finally discovered the conflict of interpretations proper and its primacy—“the resistance offered by one interpretively produced shape to the production of another” —though I must sadly abridge this progress report by noting that he finds himself powerless to do anything with this recognition. That is as it must be, for the most interesting thing about Fish’s borrowings is where he stops—and why he has to. Having let me write the first 5 ½ pages of his reply, he suddenly stops taking dictation so that he can simply reassert, in all its abstract glory, his tried-and-true resolution of all interpretive controversy by community interest. Had he read further, he would have discovered that a good deal more emerges if one attempts to preserve and deal with the conflict of interpretations rather than to do away with it. He would even have discovered my epistemology and would have learned the main lesson—that his position is not an alternative to mine but an early moment it contains and sublates in a larger context.Have taught Fish so much, I found myself, instead, poorly repaid by the position he foists upon me. Constantly caught up in an effort to reiterate the dichotomy on which his entire theorizing depends, Fish’s fixed need is to rework all disputes into an opposition between the party of independent fact-disinterested reason and the party of interest so that he might triumphantly resolve all difficulties by once again discovering the simple fact of interests. Lest this strategy hide behind a common misconception, our debate is not a case where distinct frameworks are simply misreading one another, as they must, but one where one framework must deliberately and seriously misread others since it has no other way to sustain itself. If the account Fish gives of my argument is the way things must look from his framework, all that this fact signifies is the paucity of his framework and its inability to achieve even minimal descriptive adequacy. 3. But even here things are a good deal more complex than Fish imagines. For a good statement of the logic and problems of historical interpretation, see Robert Marsh, “Historical Interpretation and the History of Criticism,” in Literary Criticism and Historical Understanding, ed. Philip Damon , pp. 1-24. (shrink)

The economically successful model of industrial agriculture that is currently expanding throughout Argentina is leading to deep social, economic, environmental, and logistical changes that are seriously restricting the sustainability of the rural, urban and environmental systems. The transformation of activities, the arrival of new technologies, the arrival of organizations with large financial and technological capabilities, the displacement of hundreds of thousands of small-scale and medium-scale farmers and their reallocation to new productive functions are not only affecting the social sustainability of (...) the rural sector but are affecting the urban communal plots of villages and towns located on the Chacopampeana Plain. Now, the production of agrofuels as a response to international global demand will promote the ecological and social depletion that Argentina has been facing from the beginning of the 1990s. We argue in terms of ecological economics that externalities should be included in the costs of companies, not just economic costs. (shrink)

This paper investigates a problem related to quantifiers which has some analogies to that of propositional completeness I give a definition of quantifier in many-valued logics generalizing the cases which already occur in first order many- valued logics. Though other definitions are possible, this particular one, which I call distribution quantifiers, generalizes the classical quantifiers in a very natural way, and occurs in finite numbers in every m-valued logic. We then call the problem of quantificationa2 completeness in m-valued logic the (...) problem of characterizing which are the quantifiers in a given language which can generate all other quantifiers in this language, using the connectives, as is the case, for example, of the universal and exis- tential quantifiers in classical logic, using negation. We are interested, in particular, in those many-valued quantifiers which closely mimic the behavior of existential an universal quantifiers in generating all other quantifiers using negation: these I call perfect quantifiers, as defined below. The main result of this paper is the characterization of all perfect quantifiers in 3-valued logics, which are complete if the logic is functionally complete. As a byproduct, we obtain the same result for the classical logic, which we include mainly for motivation. (shrink)

Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.

The bulk of the DNA in eukaryotic chromatin behaves as if it is topologically relaxed; however, a subfraction can be shown to be under suercoil tension. Endonuclease S1 cuts at specific hypersentive sites in chromatin (in the promoter regions of active genes) and this enzyme cuts in the same region in supercoiled plasmids, but not in relaxed or linearized molecules. A subfraction of the minichromosomes formed after SV40 infection or microinjection of plasmid DNA into oocytes contains supercoil tension and this (...) subfraction is thought to play an important role in transcription. (shrink)